\section{/home/jeanlouis/Faculte/Master SIS/S2/Intelligence Artificielle/dpcsolver/primitives\_\-structure.c File Reference}
\label{primitives__structure_8c}\index{/home/jeanlouis/Faculte/Master SIS/S2/Intelligence Artificielle/dpcsolver/primitives_structure.c@{/home/jeanlouis/Faculte/Master SIS/S2/Intelligence Artificielle/dpcsolver/primitives\_\-structure.c}}
{\tt \#include \char`\"{}structure.h\char`\"{}}\par
{\tt \#include \char`\"{}primitives\_\-structure.h\char`\"{}}\par
{\tt \#include $<$stdlib.h$>$}\par
{\tt \#include $<$stdio.h$>$}\par
{\tt \#include $<$math.h$>$}\par


Include dependency graph for primitives\_\-structure.c:\begin{figure}[H]
\begin{center}
\leavevmode
\includegraphics[width=405pt]{primitives__structure_8c__incl}
\end{center}
\end{figure}
\subsection*{Functions}
\begin{CompactItemize}
\item 
{\bf Litteral} $\ast$ {\bf creer\-Litteral} (int variable)
\item 
void {\bf afficher\-Litteral} ({\bf Litteral} l)
\item 
{\bf Clause} $\ast$ {\bf creer\-Clause} ()
\item 
void {\bf afficher\-Clause} ({\bf Clause} c, {\bf Formule} f)
\item 
void {\bf ajouter\-Litteral\-Clause} ({\bf Clause} $\ast$c, {\bf Litteral} $\ast$l)
\item 
void {\bf free\-Clause} ({\bf Clause} $\ast$c)
\item 
{\bf Formule} $\ast$ {\bf creer\-Formule} ()
\item 
void {\bf afficher\-Formule} ({\bf Formule} f)
\item 
void {\bf free\-Formule} ({\bf Formule} $\ast$f)
\item 
{\bf Formule} $\ast$ {\bf charger\-Formule} ()
\item 
{\bf Liste\-Clause} $\ast$ {\bf creer\-Liste\-Clause} ({\bf Clause} $\ast$c, int signe)
\item 
void {\bf free\-Liste\-Clause} ({\bf Liste\-Clause} $\ast$l)
\item 
{\bf Liste\-Litteraux} $\ast$ {\bf creer\-Liste\-Litteraux} (int nb\-Litteraux)
\item 
void {\bf ajouter\-Clause\-Liste} ({\bf Liste\-Litteraux} $\ast$liste\-Litteraux, int i, {\bf Liste\-Clause} $\ast$c)
\item 
void {\bf free\-Liste\-Litteraux} ({\bf Liste\-Litteraux} $\ast$l)
\end{CompactItemize}


\subsection{Function Documentation}
\index{primitives_structure.c@{primitives\_\-structure.c}!afficherClause@{afficherClause}}
\index{afficherClause@{afficherClause}!primitives_structure.c@{primitives\_\-structure.c}}
\subsubsection{\setlength{\rightskip}{0pt plus 5cm}void afficher\-Clause ({\bf Clause} {\em c}, {\bf Formule} {\em f})}\label{primitives__structure_8c_4b82ffac31cff812c1f8595078a1ed7c}




Definition at line 47 of file primitives\_\-structure.c.

References afficher\-Litteral(), Clause::card, Liste\-Litteraux::etat, FOREACH, INCONNU, Formule::litteraux, Clause::taille, Clause::tete, and \_\-Litteral::variable.

Referenced by afficher\-Formule().

Here is the call graph for this function:\begin{figure}[H]
\begin{center}
\leavevmode
\includegraphics[width=131pt]{primitives__structure_8c_4b82ffac31cff812c1f8595078a1ed7c_cgraph}
\end{center}
\end{figure}
\index{primitives_structure.c@{primitives\_\-structure.c}!afficherFormule@{afficherFormule}}
\index{afficherFormule@{afficherFormule}!primitives_structure.c@{primitives\_\-structure.c}}
\subsubsection{\setlength{\rightskip}{0pt plus 5cm}void afficher\-Formule ({\bf Formule} {\em f})}\label{primitives__structure_8c_f44e9376ded17a91ae6d930a40ad2d2d}




Definition at line 114 of file primitives\_\-structure.c.

References afficher\-Clause(), Formule::clauses, Clause::etat, INCONNU, and Formule::nb\-Clauses.

Here is the call graph for this function:\begin{figure}[H]
\begin{center}
\leavevmode
\includegraphics[width=197pt]{primitives__structure_8c_f44e9376ded17a91ae6d930a40ad2d2d_cgraph}
\end{center}
\end{figure}
\index{primitives_structure.c@{primitives\_\-structure.c}!afficherLitteral@{afficherLitteral}}
\index{afficherLitteral@{afficherLitteral}!primitives_structure.c@{primitives\_\-structure.c}}
\subsubsection{\setlength{\rightskip}{0pt plus 5cm}void afficher\-Litteral ({\bf Litteral} {\em l})}\label{primitives__structure_8c_e8ede9be39d32348b4dfd542c29e76ab}




Definition at line 24 of file primitives\_\-structure.c.

References \_\-Litteral::variable.

Referenced by afficher\-Clause().\index{primitives_structure.c@{primitives\_\-structure.c}!ajouterClauseListe@{ajouterClauseListe}}
\index{ajouterClauseListe@{ajouterClauseListe}!primitives_structure.c@{primitives\_\-structure.c}}
\subsubsection{\setlength{\rightskip}{0pt plus 5cm}void ajouter\-Clause\-Liste ({\bf Liste\-Litteraux} $\ast$ {\em liste\-Litteraux}, int {\em i}, {\bf Liste\-Clause} $\ast$ {\em c})}\label{primitives__structure_8c_6f4999e883926a56436a9c06f5290abd}




Definition at line 276 of file primitives\_\-structure.c.

References Liste\-Litteraux::litteraux, \_\-Liste\-Clause::suivant, and Liste\-Litteraux::taille.

Referenced by charger\-Formule().\index{primitives_structure.c@{primitives\_\-structure.c}!ajouterLitteralClause@{ajouterLitteralClause}}
\index{ajouterLitteralClause@{ajouterLitteralClause}!primitives_structure.c@{primitives\_\-structure.c}}
\subsubsection{\setlength{\rightskip}{0pt plus 5cm}void ajouter\-Litteral\-Clause ({\bf Clause} $\ast$ {\em c}, {\bf Litteral} $\ast$ {\em l})}\label{primitives__structure_8c_3956edd6dd2c8b61d635508b8dca4349}




Definition at line 64 of file primitives\_\-structure.c.

References \_\-Litteral::suivant, and Clause::tete.

Referenced by charger\-Formule().\index{primitives_structure.c@{primitives\_\-structure.c}!chargerFormule@{chargerFormule}}
\index{chargerFormule@{chargerFormule}!primitives_structure.c@{primitives\_\-structure.c}}
\subsubsection{\setlength{\rightskip}{0pt plus 5cm}{\bf Formule}$\ast$ charger\-Formule ()}\label{primitives__structure_8c_c435037130bf0282a496361c16e6c272}




Definition at line 154 of file primitives\_\-structure.c.

References ajouter\-Clause\-Liste(), ajouter\-Litteral\-Clause(), Clause::card, Formule::clauses, creer\-Clause(), creer\-Formule(), creer\-Liste\-Clause(), creer\-Liste\-Litteraux(), creer\-Litteral(), Formule::litteraux, Formule::nb\-Clauses, Formule::nb\-Litteraux, Formule::taille, and Clause::taille.

Referenced by main().

Here is the call graph for this function:\begin{figure}[H]
\begin{center}
\leavevmode
\includegraphics[width=150pt]{primitives__structure_8c_c435037130bf0282a496361c16e6c272_cgraph}
\end{center}
\end{figure}
\index{primitives_structure.c@{primitives\_\-structure.c}!creerClause@{creerClause}}
\index{creerClause@{creerClause}!primitives_structure.c@{primitives\_\-structure.c}}
\subsubsection{\setlength{\rightskip}{0pt plus 5cm}{\bf Clause}$\ast$ creer\-Clause ()}\label{primitives__structure_8c_3b1ef3b575175b530d9e546b0b160e6e}




Definition at line 32 of file primitives\_\-structure.c.

References Clause::card, Clause::etat, INCONNU, Clause::taille, and Clause::tete.

Referenced by charger\-Formule().\index{primitives_structure.c@{primitives\_\-structure.c}!creerFormule@{creerFormule}}
\index{creerFormule@{creerFormule}!primitives_structure.c@{primitives\_\-structure.c}}
\subsubsection{\setlength{\rightskip}{0pt plus 5cm}{\bf Formule}$\ast$ creer\-Formule ()}\label{primitives__structure_8c_393008fc47ce5ed82eefab1edb705619}




Definition at line 96 of file primitives\_\-structure.c.

References Formule::clauses, Formule::litteraux, Formule::nb\-Clauses, Formule::nb\-Litteraux, and Formule::taille.

Referenced by charger\-Formule().\index{primitives_structure.c@{primitives\_\-structure.c}!creerListeClause@{creerListeClause}}
\index{creerListeClause@{creerListeClause}!primitives_structure.c@{primitives\_\-structure.c}}
\subsubsection{\setlength{\rightskip}{0pt plus 5cm}{\bf Liste\-Clause}$\ast$ creer\-Liste\-Clause ({\bf Clause} $\ast$ {\em c}, int {\em signe})}\label{primitives__structure_8c_7c51560a34321e04477a9aa849905dfe}




Definition at line 223 of file primitives\_\-structure.c.

References \_\-Liste\-Clause::affectee, \_\-Liste\-Clause::clause, FAUX, \_\-Liste\-Clause::signe, and \_\-Liste\-Clause::suivant.

Referenced by charger\-Formule().\index{primitives_structure.c@{primitives\_\-structure.c}!creerListeLitteraux@{creerListeLitteraux}}
\index{creerListeLitteraux@{creerListeLitteraux}!primitives_structure.c@{primitives\_\-structure.c}}
\subsubsection{\setlength{\rightskip}{0pt plus 5cm}{\bf Liste\-Litteraux}$\ast$ creer\-Liste\-Litteraux (int {\em nb\-Litteraux})}\label{primitives__structure_8c_68929e8148723d3bfbb77999e30a4660}




Definition at line 254 of file primitives\_\-structure.c.

References Liste\-Litteraux::etat, INCONNU, and Liste\-Litteraux::litteraux.

Referenced by charger\-Formule().\index{primitives_structure.c@{primitives\_\-structure.c}!creerLitteral@{creerLitteral}}
\index{creerLitteral@{creerLitteral}!primitives_structure.c@{primitives\_\-structure.c}}
\subsubsection{\setlength{\rightskip}{0pt plus 5cm}{\bf Litteral}$\ast$ creer\-Litteral (int {\em variable})}\label{primitives__structure_8c_3265bd4e2172f8199503c26ee04d3f37}




Definition at line 11 of file primitives\_\-structure.c.

References \_\-Litteral::suivant, and \_\-Litteral::variable.

Referenced by charger\-Formule().\index{primitives_structure.c@{primitives\_\-structure.c}!freeClause@{freeClause}}
\index{freeClause@{freeClause}!primitives_structure.c@{primitives\_\-structure.c}}
\subsubsection{\setlength{\rightskip}{0pt plus 5cm}void free\-Clause ({\bf Clause} $\ast$ {\em c})}\label{primitives__structure_8c_b7c98432ae8707bb21875711055bed90}




Definition at line 73 of file primitives\_\-structure.c.

References FOREACH, and Clause::tete.

Referenced by free\-Formule().\index{primitives_structure.c@{primitives\_\-structure.c}!freeFormule@{freeFormule}}
\index{freeFormule@{freeFormule}!primitives_structure.c@{primitives\_\-structure.c}}
\subsubsection{\setlength{\rightskip}{0pt plus 5cm}void free\-Formule ({\bf Formule} $\ast$ {\em f})}\label{primitives__structure_8c_a7071654badb3b56f1adccd9ef9be91e}




Definition at line 137 of file primitives\_\-structure.c.

References Formule::clauses, free\-Clause(), free\-Liste\-Litteraux(), Formule::litteraux, and Formule::taille.

Referenced by main().

Here is the call graph for this function:\begin{figure}[H]
\begin{center}
\leavevmode
\includegraphics[width=197pt]{primitives__structure_8c_a7071654badb3b56f1adccd9ef9be91e_cgraph}
\end{center}
\end{figure}
\index{primitives_structure.c@{primitives\_\-structure.c}!freeListeClause@{freeListeClause}}
\index{freeListeClause@{freeListeClause}!primitives_structure.c@{primitives\_\-structure.c}}
\subsubsection{\setlength{\rightskip}{0pt plus 5cm}void free\-Liste\-Clause ({\bf Liste\-Clause} $\ast$ {\em l})}\label{primitives__structure_8c_d38677d4b9438b6048c99038618f8b3a}




Definition at line 238 of file primitives\_\-structure.c.

References \_\-Liste\-Clause::suivant.

Referenced by free\-Liste\-Litteraux().\index{primitives_structure.c@{primitives\_\-structure.c}!freeListeLitteraux@{freeListeLitteraux}}
\index{freeListeLitteraux@{freeListeLitteraux}!primitives_structure.c@{primitives\_\-structure.c}}
\subsubsection{\setlength{\rightskip}{0pt plus 5cm}void free\-Liste\-Litteraux ({\bf Liste\-Litteraux} $\ast$ {\em l})}\label{primitives__structure_8c_f22ee8b4a5cc519c354e0ddbdd6ddf51}




Definition at line 284 of file primitives\_\-structure.c.

References free\-Liste\-Clause(), \_\-Liste\-Clause::suivant, and Liste\-Litteraux::taille.

Referenced by free\-Formule().

Here is the call graph for this function:\begin{figure}[H]
\begin{center}
\leavevmode
\includegraphics[width=140pt]{primitives__structure_8c_f22ee8b4a5cc519c354e0ddbdd6ddf51_cgraph}
\end{center}
\end{figure}
